more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10070

[filed under theme 5. Theory of Logic / K. Features of Logics / 3. Soundness ]

Full Idea

If everything that a theory proves must be true, then it is a 'sound' theory.

Gist of Idea

If everything that a theory proves is true, then it is 'sound'

Source

Peter Smith (Intro to Gödel's Theorems [2007], 01.1)

Book Ref

Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.2